#include <linux/init.h>
#include <linux/cpumask.h>
#include <linux/cpu.h>

void __init boot_cpu_init(void)
{

	/* Mark the boot cpu "present", "online" etc for SMP and UP case */
	set_cpu_online(0, true);
	set_cpu_present(0, true);
	set_cpu_possible(0, true);
	set_cpu_active(0, true);
}
